1. The Imperative future :principles of executable temporal logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical

رده :
QA
76
.
76
.
D47
I47
1996